사인 함수 $\sin x$와 지수 함수 $e^x$와 같은 초등 함수는 기본적인 미분방정식을 만족하지만, 열 분포나 양자 상태와 같은 많은 물리적 현상은 '닫힌 형태'의 해를 가지지 않는 방정식에 의해 지배됩니다. 이 슬라이드에서는 타일러 급수를 기초로 하여, 알 수 없는 해를 무한 급수로 표현할 수 있도록 하는 핵심 연결고리를 소개합니다.
해가 해석적 일정 점에서 해석적이라고 가정함으로써, 미분방정식을 풀 문제를 수치 계수의 수열을 결정하는 문제로 변환할 수 있습니다.
1. 해석성의 기초
$x = x_0$ 주변에서 반경이 $\rho > 0$인 타일러 급수 전개를 갖는 함수 $f$는 해석적 $x = x_0$에서 해석적이라고 말합니다. 이 성질은 상미분방정식에 대한 급수 해를 찾기 위한 전제 조건입니다. 우리의 미분방정식의 계수 함수들이 $x_0$에서 해석적이라면, 해 $y(x)$ 역시 그곳에서 해석적이어야 합니다.
2. 타일러 급수 표현
급수 $\displaystyle f(x) = \sum_{n=0}^{\infty} \frac{f^{(n)}(x_0)}{n!}(x-x_0)^n$는 함수 $f$의 $x = x_0$에 관한 타일러 급수라고 합니다. 여기서 계수는 다음과 같이 정의됩니다:
$$\displaystyle a_n = \frac{f^{(n)}(x_0)}{n!}$$
이는 함수의 전반적인 행동을 단일 점에서의 국소적 도함수와 연결합니다.
3. 수렴성과 유효성
거듭제곱 급수 해는 그 수렴 반경범위 내에서만 의미가 있습니다. 예를 들어, 지수 함수 $\displaystyle e^x = \sum_{n=0}^{\infty} \frac{x^n}{n!}$는 모든 $x$에서 수렴합니다($\rho = \infty$). 그러나 다른 미분방정식에서 유도된 급수는 확장점 $x_0$로부터 특정 거리 내에서만 수렴할 수 있습니다. 이 거리는 일반적으로 방정식의 특이점 계수들이 붕괴되는 위치)에 의해 결정됩니다.
초기 조건 $y(0)=1$을 가진 미분방정식 $y' = y$를 고려해 보세요. 해를 추측하는 대신, 우리는 거듭제곱 급수 형태를 가정합니다:
$$y(x) = \sum_{n=0}^{\infty} a_n x^n = a_0 + a_1x + a_2x^2 + \dots$$
미분하면 $y'(x) = \sum_{n=1}^{\infty} n a_n x^{n-1}$가 됩니다. 이를 $y'=y$에 대입하면:
$$\sum_{n=1}^{\infty} n a_n x^{n-1} = \sum_{n=0}^{\infty} a_n x^n$$
첨자를 맞추면 $(n+1)a_{n+1} = a_n$를 얻게 되며, 이는 $\displaystyle a_n = \frac{a_0}{n!}$임을 의미합니다. $y(0)=1$이므로 $a_0=1$입니다. 결과는 $e^x$의 타일러 급수입니다.